首页> 外文OA文献 >Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

【2h】

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

机译：用于访问控制逻辑的标记后续结石：对抗模式，饱和度和拐点

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Genovese, V.; Garg, D.; Rispoli, D.;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Modular Labelled Sequent Calculi for Abstract Separation Logics [J] . Hou Zhe, Clouston Ranald, Gore Rajeev, ACM transactions on computational logic . 2018,第2期

机译：用于抽象分离逻辑的模块标记顺序演算
2. Labeled sequent calculi for modal logics and implicit contractions [J] . Minari P. Archive for Mathematical Logic . 2013,第7a8期

机译：模态逻辑和隐式收缩的标记后继计算
3. Labeled sequent calculi for modal logics and implicit contractions [J] . Pierluigi Minari Archive for Mathematical Logic . 2013,第7a8期

机译：模态逻辑和隐式收缩的标记后继计算
4. Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction [C] . Genovese Valerio, Garg Deepak, Rispoli Daniele 2012 IEEE 25th computer security foundations symposium . 2012

机译：标记为访问控制逻辑的后续计算：反模型，饱和度和绑架
5. Sequent Calculus: A Logic and a Language for Computation and Duality [D] . Downen, Paul. 2017

机译：后续微积分：计算和对偶的逻辑和语言
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction [O] . Valerio Genovese, Deepak Garg, Daniel Rispoli 2012

机译：用于访问控制逻辑的标记后续结石：对抗模式，饱和度和拐点
8. Sequent Calculi for Normal Modal Propositional Logics [R] . Wansing, H. 1992

机译：正态模态命题逻辑的后续计算

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

著录项

引文网络

相似文献

相关主题

期刊订阅